3.293 \(\int (g+h x)^4 (A+B \log (e (a+b x)^n (c+d x)^{-n})) \, dx\)

Optimal. Leaf size=365 \[ -\frac{B h^2 n x^2 (b c-a d) \left (a^2 d^2 h^2-a b d h (5 d g-c h)+b^2 \left (c^2 h^2-5 c d g h+10 d^2 g^2\right )\right )}{10 b^3 d^3}+\frac{B h n x (b c-a d) \left (-a^2 b d^2 h^2 (5 d g-c h)+a^3 d^3 h^3+a b^2 d h \left (c^2 h^2-5 c d g h+10 d^2 g^2\right )+b^3 \left (-\left (5 c^2 d g h^2-c^3 h^3-10 c d^2 g^2 h+10 d^3 g^3\right )\right )\right )}{5 b^4 d^4}+\frac{(g+h x)^5 \left (B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+A\right )}{5 h}-\frac{B h^3 n x^3 (b c-a d) (-a d h-b c h+5 b d g)}{15 b^2 d^2}-\frac{B n (b g-a h)^5 \log (a+b x)}{5 b^5 h}-\frac{B h^4 n x^4 (b c-a d)}{20 b d}+\frac{B n (d g-c h)^5 \log (c+d x)}{5 d^5 h} \]

[Out]

(B*(b*c - a*d)*h*(a^3*d^3*h^3 - a^2*b*d^2*h^2*(5*d*g - c*h) + a*b^2*d*h*(10*d^2*g^2 - 5*c*d*g*h + c^2*h^2) - b
^3*(10*d^3*g^3 - 10*c*d^2*g^2*h + 5*c^2*d*g*h^2 - c^3*h^3))*n*x)/(5*b^4*d^4) - (B*(b*c - a*d)*h^2*(a^2*d^2*h^2
- a*b*d*h*(5*d*g - c*h) + b^2*(10*d^2*g^2 - 5*c*d*g*h + c^2*h^2))*n*x^2)/(10*b^3*d^3) - (B*(b*c - a*d)*h^3*(5
*b*d*g - b*c*h - a*d*h)*n*x^3)/(15*b^2*d^2) - (B*(b*c - a*d)*h^4*n*x^4)/(20*b*d) - (B*(b*g - a*h)^5*n*Log[a +
b*x])/(5*b^5*h) + (B*(d*g - c*h)^5*n*Log[c + d*x])/(5*d^5*h) + ((g + h*x)^5*(A + B*Log[(e*(a + b*x)^n)/(c + d*
x)^n]))/(5*h)

________________________________________________________________________________________

Rubi [A]  time = 0.712262, antiderivative size = 377, normalized size of antiderivative = 1.03, number of steps used = 5, number of rules used = 3, integrand size = 31, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.097, Rules used = {6742, 2492, 72} \[ -\frac{B h^2 n x^2 (b c-a d) \left (a^2 d^2 h^2-a b d h (5 d g-c h)+b^2 \left (c^2 h^2-5 c d g h+10 d^2 g^2\right )\right )}{10 b^3 d^3}+\frac{B h n x (b c-a d) \left (-a^2 b d^2 h^2 (5 d g-c h)+a^3 d^3 h^3+a b^2 d h \left (c^2 h^2-5 c d g h+10 d^2 g^2\right )+b^3 \left (-\left (5 c^2 d g h^2-c^3 h^3-10 c d^2 g^2 h+10 d^3 g^3\right )\right )\right )}{5 b^4 d^4}-\frac{B h^3 n x^3 (b c-a d) (-a d h-b c h+5 b d g)}{15 b^2 d^2}-\frac{B n (b g-a h)^5 \log (a+b x)}{5 b^5 h}+\frac{B (g+h x)^5 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{5 h}-\frac{B h^4 n x^4 (b c-a d)}{20 b d}+\frac{A (g+h x)^5}{5 h}+\frac{B n (d g-c h)^5 \log (c+d x)}{5 d^5 h} \]

Antiderivative was successfully verified.

[In]

Int[(g + h*x)^4*(A + B*Log[(e*(a + b*x)^n)/(c + d*x)^n]),x]

[Out]

(B*(b*c - a*d)*h*(a^3*d^3*h^3 - a^2*b*d^2*h^2*(5*d*g - c*h) + a*b^2*d*h*(10*d^2*g^2 - 5*c*d*g*h + c^2*h^2) - b
^3*(10*d^3*g^3 - 10*c*d^2*g^2*h + 5*c^2*d*g*h^2 - c^3*h^3))*n*x)/(5*b^4*d^4) - (B*(b*c - a*d)*h^2*(a^2*d^2*h^2
- a*b*d*h*(5*d*g - c*h) + b^2*(10*d^2*g^2 - 5*c*d*g*h + c^2*h^2))*n*x^2)/(10*b^3*d^3) - (B*(b*c - a*d)*h^3*(5
*b*d*g - b*c*h - a*d*h)*n*x^3)/(15*b^2*d^2) - (B*(b*c - a*d)*h^4*n*x^4)/(20*b*d) + (A*(g + h*x)^5)/(5*h) - (B*
(b*g - a*h)^5*n*Log[a + b*x])/(5*b^5*h) + (B*(d*g - c*h)^5*n*Log[c + d*x])/(5*d^5*h) + (B*(g + h*x)^5*Log[(e*(
a + b*x)^n)/(c + d*x)^n])/(5*h)

Rule 6742

Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v]]

Rule 2492

Int[Log[(e_.)*((f_.)*((a_.) + (b_.)*(x_))^(p_.)*((c_.) + (d_.)*(x_))^(q_.))^(r_.)]^(s_.)*((g_.) + (h_.)*(x_))^
(m_.), x_Symbol] :> Simp[((g + h*x)^(m + 1)*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^s)/(h*(m + 1)), x] - Dist[(p*
r*s*(b*c - a*d))/(h*(m + 1)), Int[((g + h*x)^(m + 1)*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^(s - 1))/((a + b*x)*
(c + d*x)), x], x] /; FreeQ[{a, b, c, d, e, f, g, h, m, p, q, r, s}, x] && NeQ[b*c - a*d, 0] && EqQ[p + q, 0]
&& IGtQ[s, 0] && NeQ[m, -1]

Rule 72

Int[((e_.) + (f_.)*(x_))^(p_.)/(((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))), x_Symbol] :> Int[ExpandIntegrand[(
e + f*x)^p/((a + b*x)*(c + d*x)), x], x] /; FreeQ[{a, b, c, d, e, f}, x] && IntegerQ[p]

Rubi steps

\begin{align*} \int (g+h x)^4 \left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right ) \, dx &=\int \left (A (g+h x)^4+B (g+h x)^4 \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right ) \, dx\\ &=\frac{A (g+h x)^5}{5 h}+B \int (g+h x)^4 \log \left (e (a+b x)^n (c+d x)^{-n}\right ) \, dx\\ &=\frac{A (g+h x)^5}{5 h}+\frac{B (g+h x)^5 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{5 h}-\frac{(B (b c-a d) n) \int \frac{(g+h x)^5}{(a+b x) (c+d x)} \, dx}{5 h}\\ &=\frac{A (g+h x)^5}{5 h}+\frac{B (g+h x)^5 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{5 h}-\frac{(B (b c-a d) n) \int \left (\frac{h^2 \left (-a^3 d^3 h^3+a^2 b d^2 h^2 (5 d g-c h)-a b^2 d h \left (10 d^2 g^2-5 c d g h+c^2 h^2\right )+b^3 \left (10 d^3 g^3-10 c d^2 g^2 h+5 c^2 d g h^2-c^3 h^3\right )\right )}{b^4 d^4}+\frac{h^3 \left (a^2 d^2 h^2-a b d h (5 d g-c h)+b^2 \left (10 d^2 g^2-5 c d g h+c^2 h^2\right )\right ) x}{b^3 d^3}+\frac{h^4 (5 b d g-b c h-a d h) x^2}{b^2 d^2}+\frac{h^5 x^3}{b d}+\frac{(b g-a h)^5}{b^4 (b c-a d) (a+b x)}+\frac{(d g-c h)^5}{d^4 (-b c+a d) (c+d x)}\right ) \, dx}{5 h}\\ &=\frac{B (b c-a d) h \left (a^3 d^3 h^3-a^2 b d^2 h^2 (5 d g-c h)+a b^2 d h \left (10 d^2 g^2-5 c d g h+c^2 h^2\right )-b^3 \left (10 d^3 g^3-10 c d^2 g^2 h+5 c^2 d g h^2-c^3 h^3\right )\right ) n x}{5 b^4 d^4}-\frac{B (b c-a d) h^2 \left (a^2 d^2 h^2-a b d h (5 d g-c h)+b^2 \left (10 d^2 g^2-5 c d g h+c^2 h^2\right )\right ) n x^2}{10 b^3 d^3}-\frac{B (b c-a d) h^3 (5 b d g-b c h-a d h) n x^3}{15 b^2 d^2}-\frac{B (b c-a d) h^4 n x^4}{20 b d}+\frac{A (g+h x)^5}{5 h}-\frac{B (b g-a h)^5 n \log (a+b x)}{5 b^5 h}+\frac{B (d g-c h)^5 n \log (c+d x)}{5 d^5 h}+\frac{B (g+h x)^5 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{5 h}\\ \end{align*}

Mathematica [A]  time = 0.952097, size = 463, normalized size = 1.27 \[ \frac{b d x \left (B h n (b c-a d) \left (-6 a^2 b d^2 h^2 (-2 c h+10 d g+d h x)+12 a^3 d^3 h^3+2 a b^2 d h \left (6 c^2 h^2-3 c d h (10 g+h x)+d^2 \left (60 g^2+15 g h x+2 h^2 x^2\right )\right )+b^3 \left (-\left (6 c^2 d h^2 (10 g+h x)-12 c^3 h^3-2 c d^2 h \left (60 g^2+15 g h x+2 h^2 x^2\right )+d^3 \left (60 g^2 h x+120 g^3+20 g h^2 x^2+3 h^3 x^3\right )\right )\right )\right )+12 A b^4 d^4 \left (10 g^2 h^2 x^2+10 g^3 h x+5 g^4+5 g h^3 x^3+h^4 x^4\right )\right )+12 a^2 B d^5 h n \left (-5 a^2 b g h^2+a^3 h^3+10 a b^2 g^2 h-10 b^3 g^3\right ) \log (a+b x)-12 b^4 B n \log (c+d x) \left (b c \left (10 c^2 d^2 g^2 h^2-5 c^3 d g h^3+c^4 h^4-10 c d^3 g^3 h+5 d^4 g^4\right )-5 a d^5 g^4\right )+12 b^4 B d^5 \left (5 a g^4+b x \left (10 g^2 h^2 x^2+10 g^3 h x+5 g^4+5 g h^3 x^3+h^4 x^4\right )\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{60 b^5 d^5} \]

Antiderivative was successfully verified.

[In]

Integrate[(g + h*x)^4*(A + B*Log[(e*(a + b*x)^n)/(c + d*x)^n]),x]

[Out]

(b*d*x*(12*A*b^4*d^4*(5*g^4 + 10*g^3*h*x + 10*g^2*h^2*x^2 + 5*g*h^3*x^3 + h^4*x^4) + B*(b*c - a*d)*h*n*(12*a^3
*d^3*h^3 - 6*a^2*b*d^2*h^2*(10*d*g - 2*c*h + d*h*x) + 2*a*b^2*d*h*(6*c^2*h^2 - 3*c*d*h*(10*g + h*x) + d^2*(60*
g^2 + 15*g*h*x + 2*h^2*x^2)) - b^3*(-12*c^3*h^3 + 6*c^2*d*h^2*(10*g + h*x) - 2*c*d^2*h*(60*g^2 + 15*g*h*x + 2*
h^2*x^2) + d^3*(120*g^3 + 60*g^2*h*x + 20*g*h^2*x^2 + 3*h^3*x^3)))) + 12*a^2*B*d^5*h*(-10*b^3*g^3 + 10*a*b^2*g
^2*h - 5*a^2*b*g*h^2 + a^3*h^3)*n*Log[a + b*x] - 12*b^4*B*(-5*a*d^5*g^4 + b*c*(5*d^4*g^4 - 10*c*d^3*g^3*h + 10
*c^2*d^2*g^2*h^2 - 5*c^3*d*g*h^3 + c^4*h^4))*n*Log[c + d*x] + 12*b^4*B*d^5*(5*a*g^4 + b*x*(5*g^4 + 10*g^3*h*x
+ 10*g^2*h^2*x^2 + 5*g*h^3*x^3 + h^4*x^4))*Log[(e*(a + b*x)^n)/(c + d*x)^n])/(60*b^5*d^5)

________________________________________________________________________________________

Maple [C]  time = 0.689, size = 2576, normalized size = 7.1 \begin{align*} \text{result too large to display} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((h*x+g)^4*(A+B*ln(e*(b*x+a)^n/((d*x+c)^n))),x)

[Out]

B*g^4*x*ln((b*x+a)^n)+B*ln(e)*g^4*x+1/5*h^4*B*ln(e)*x^5+1/5*h^4*B*x^5*ln((b*x+a)^n)-1/5*(h*x+g)^5*B/h*ln((d*x+
c)^n)+2*h*B*ln(e)*g^3*x^2+2*h^2*B*g^2*x^3*ln((b*x+a)^n)+2*h*B*g^3*x^2*ln((b*x+a)^n)+1/5/h*B*ln(d*x+c)*g^5*n+h^
3*B*g*x^4*ln((b*x+a)^n)+h^3*B*ln(e)*g*x^4+2*h^2*B*ln(e)*g^2*x^3+1/5*h^4*A*x^5+2*h^2/b^3*B*ln(-b*x-a)*a^3*g^2*n
-2*h/b^2*B*ln(-b*x-a)*a^2*g^3*n-I*h*B*Pi*g^3*x^2*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)^3+1/2*I*B*Pi*g^4*x*csgn(I*(b*
x+a)^n)*csgn(I*(b*x+a)^n/((d*x+c)^n))^2-1/2*I*h^3*B*Pi*g*x^4*csgn(I*(b*x+a)^n/((d*x+c)^n))^3+1/10*I*h^4*B*Pi*x
^5*csgn(I*(b*x+a)^n)*csgn(I*(b*x+a)^n/((d*x+c)^n))^2-1/2*I*h^3*B*Pi*g*x^4*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)^3-I*
h*B*Pi*g^3*x^2*csgn(I*(b*x+a)^n/((d*x+c)^n))^3+1/2*I*B*Pi*g^4*x*csgn(I*(b*x+a)^n/((d*x+c)^n))*csgn(I*e/((d*x+c
)^n)*(b*x+a)^n)^2+1/10*I*h^4*B*Pi*x^5*csgn(I*e)*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)^2+1/10*I*h^4*B*Pi*x^5*csgn(I/(
(d*x+c)^n))*csgn(I*(b*x+a)^n/((d*x+c)^n))^2+1/10*I*h^4*B*Pi*x^5*csgn(I*(b*x+a)^n/((d*x+c)^n))*csgn(I*e/((d*x+c
)^n)*(b*x+a)^n)^2-I*h^2*B*Pi*g^2*x^3*csgn(I*(b*x+a)^n/((d*x+c)^n))^3-I*h^2*B*Pi*g^2*x^3*csgn(I*e/((d*x+c)^n)*(
b*x+a)^n)^3+1/2*I*B*Pi*g^4*x*csgn(I*e)*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)^2+1/2*I*B*Pi*g^4*x*csgn(I/((d*x+c)^n))*
csgn(I*(b*x+a)^n/((d*x+c)^n))^2+1/d^4*h^3*B*ln(d*x+c)*c^4*g*n-2/d^3*h^2*B*ln(d*x+c)*c^3*g^2*n+2/d^2*h*B*ln(d*x
+c)*c^2*g^3*n-h^3/b^4*B*ln(-b*x-a)*a^4*g*n+1/15/d^2*h^4*B*c^2*n*x^3+1/10*h^4/b^3*B*a^3*n*x^2-1/10/d^3*h^4*B*c^
3*n*x^2-1/5*h^4/b^4*B*a^4*n*x+1/5/d^4*h^4*B*c^4*n*x+I*h*B*Pi*g^3*x^2*csgn(I*e)*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)
^2+I*h*B*Pi*g^3*x^2*csgn(I*(b*x+a)^n)*csgn(I*(b*x+a)^n/((d*x+c)^n))^2+I*h^2*B*Pi*g^2*x^3*csgn(I/((d*x+c)^n))*c
sgn(I*(b*x+a)^n/((d*x+c)^n))^2+I*h^2*B*Pi*g^2*x^3*csgn(I*(b*x+a)^n/((d*x+c)^n))*csgn(I*e/((d*x+c)^n)*(b*x+a)^n
)^2+I*h^2*B*Pi*g^2*x^3*csgn(I*(b*x+a)^n)*csgn(I*(b*x+a)^n/((d*x+c)^n))^2+I*h*B*Pi*g^3*x^2*csgn(I*(b*x+a)^n/((d
*x+c)^n))*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)^2-1/2*I*B*Pi*g^4*x*csgn(I*(b*x+a)^n)*csgn(I/((d*x+c)^n))*csgn(I*(b*x
+a)^n/((d*x+c)^n))-1/2*I*B*Pi*g^4*x*csgn(I*e)*csgn(I*(b*x+a)^n/((d*x+c)^n))*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)-1/
10*I*h^4*B*Pi*x^5*csgn(I*(b*x+a)^n)*csgn(I/((d*x+c)^n))*csgn(I*(b*x+a)^n/((d*x+c)^n))-1/10*I*h^4*B*Pi*x^5*csgn
(I*e)*csgn(I*(b*x+a)^n/((d*x+c)^n))*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)+1/2*I*h^3*B*Pi*g*x^4*csgn(I*e)*csgn(I*e/((
d*x+c)^n)*(b*x+a)^n)^2+1/2*I*h^3*B*Pi*g*x^4*csgn(I/((d*x+c)^n))*csgn(I*(b*x+a)^n/((d*x+c)^n))^2+1/2*I*h^3*B*Pi
*g*x^4*csgn(I*(b*x+a)^n)*csgn(I*(b*x+a)^n/((d*x+c)^n))^2+1/2*I*h^3*B*Pi*g*x^4*csgn(I*(b*x+a)^n/((d*x+c)^n))*cs
gn(I*e/((d*x+c)^n)*(b*x+a)^n)^2+h^3*A*g*x^4+2*h^2*A*g^2*x^3+2*h*A*g^3*x^2+A*g^4*x-1/d*B*ln(d*x+c)*c*g^4*n+1/b*
B*ln(-b*x-a)*a*g^4*n-1/5/d^5*h^4*B*ln(d*x+c)*c^5*n+1/5*h^4/b^5*B*ln(-b*x-a)*a^5*n-1/10*I*h^4*B*Pi*x^5*csgn(I*(
b*x+a)^n/((d*x+c)^n))^3-1/10*I*h^4*B*Pi*x^5*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)^3-1/2*I*B*Pi*g^4*x*csgn(I*(b*x+a)^
n/((d*x+c)^n))^3-1/2*I*B*Pi*g^4*x*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)^3+2*h/b*B*a*g^3*n*x-1/d^3*h^3*B*c^3*g*n*x+2/
d^2*h^2*B*c^2*g^2*n*x-2/d*h*B*c*g^3*n*x+1/3*h^3/b*B*a*g*n*x^3-1/3/d*h^3*B*c*g*n*x^3-1/2*h^3/b^2*B*a^2*g*n*x^2+
h^2/b*B*a*g^2*n*x^2+1/2/d^2*h^3*B*c^2*g*n*x^2-1/d*h^2*B*c*g^2*n*x^2+h^3/b^3*B*a^3*g*n*x-2*h^2/b^2*B*a^2*g^2*n*
x+I*h^2*B*Pi*g^2*x^3*csgn(I*e)*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)^2+I*h*B*Pi*g^3*x^2*csgn(I/((d*x+c)^n))*csgn(I*(
b*x+a)^n/((d*x+c)^n))^2+1/20*h^4/b*B*a*n*x^4-1/20/d*h^4*B*c*n*x^4-1/15*h^4/b^2*B*a^2*n*x^3-1/2*I*h^3*B*Pi*g*x^
4*csgn(I*(b*x+a)^n)*csgn(I/((d*x+c)^n))*csgn(I*(b*x+a)^n/((d*x+c)^n))-I*h*B*Pi*g^3*x^2*csgn(I*e)*csgn(I*(b*x+a
)^n/((d*x+c)^n))*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)-I*h*B*Pi*g^3*x^2*csgn(I*(b*x+a)^n)*csgn(I/((d*x+c)^n))*csgn(I
*(b*x+a)^n/((d*x+c)^n))-I*h^2*B*Pi*g^2*x^3*csgn(I*e)*csgn(I*(b*x+a)^n/((d*x+c)^n))*csgn(I*e/((d*x+c)^n)*(b*x+a
)^n)-I*h^2*B*Pi*g^2*x^3*csgn(I*(b*x+a)^n)*csgn(I/((d*x+c)^n))*csgn(I*(b*x+a)^n/((d*x+c)^n))-1/2*I*h^3*B*Pi*g*x
^4*csgn(I*e)*csgn(I*(b*x+a)^n/((d*x+c)^n))*csgn(I*e/((d*x+c)^n)*(b*x+a)^n)

________________________________________________________________________________________

Maxima [A]  time = 1.40192, size = 906, normalized size = 2.48 \begin{align*} \text{result too large to display} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((h*x+g)^4*(A+B*log(e*(b*x+a)^n/((d*x+c)^n))),x, algorithm="maxima")

[Out]

1/5*B*h^4*x^5*log((b*x + a)^n*e/(d*x + c)^n) + 1/5*A*h^4*x^5 + B*g*h^3*x^4*log((b*x + a)^n*e/(d*x + c)^n) + A*
g*h^3*x^4 + 2*B*g^2*h^2*x^3*log((b*x + a)^n*e/(d*x + c)^n) + 2*A*g^2*h^2*x^3 + 2*B*g^3*h*x^2*log((b*x + a)^n*e
/(d*x + c)^n) + 2*A*g^3*h*x^2 + B*g^4*x*log((b*x + a)^n*e/(d*x + c)^n) + A*g^4*x + (a*e*n*log(b*x + a)/b - c*e
*n*log(d*x + c)/d)*B*g^4/e - 2*(a^2*e*n*log(b*x + a)/b^2 - c^2*e*n*log(d*x + c)/d^2 + (b*c*e*n - a*d*e*n)*x/(b
*d))*B*g^3*h/e + (2*a^3*e*n*log(b*x + a)/b^3 - 2*c^3*e*n*log(d*x + c)/d^3 - ((b^2*c*d*e*n - a*b*d^2*e*n)*x^2 -
2*(b^2*c^2*e*n - a^2*d^2*e*n)*x)/(b^2*d^2))*B*g^2*h^2/e - 1/6*(6*a^4*e*n*log(b*x + a)/b^4 - 6*c^4*e*n*log(d*x
+ c)/d^4 + (2*(b^3*c*d^2*e*n - a*b^2*d^3*e*n)*x^3 - 3*(b^3*c^2*d*e*n - a^2*b*d^3*e*n)*x^2 + 6*(b^3*c^3*e*n -
a^3*d^3*e*n)*x)/(b^3*d^3))*B*g*h^3/e + 1/60*(12*a^5*e*n*log(b*x + a)/b^5 - 12*c^5*e*n*log(d*x + c)/d^5 - (3*(b
^4*c*d^3*e*n - a*b^3*d^4*e*n)*x^4 - 4*(b^4*c^2*d^2*e*n - a^2*b^2*d^4*e*n)*x^3 + 6*(b^4*c^3*d*e*n - a^3*b*d^4*e
*n)*x^2 - 12*(b^4*c^4*e*n - a^4*d^4*e*n)*x)/(b^4*d^4))*B*h^4/e

________________________________________________________________________________________

Fricas [B]  time = 1.1267, size = 1623, normalized size = 4.45 \begin{align*} \text{result too large to display} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((h*x+g)^4*(A+B*log(e*(b*x+a)^n/((d*x+c)^n))),x, algorithm="fricas")

[Out]

1/60*(12*A*b^5*d^5*h^4*x^5 + 3*(20*A*b^5*d^5*g*h^3 - (B*b^5*c*d^4 - B*a*b^4*d^5)*h^4*n)*x^4 + 4*(30*A*b^5*d^5*
g^2*h^2 - (5*(B*b^5*c*d^4 - B*a*b^4*d^5)*g*h^3 - (B*b^5*c^2*d^3 - B*a^2*b^3*d^5)*h^4)*n)*x^3 + 6*(20*A*b^5*d^5
*g^3*h - (10*(B*b^5*c*d^4 - B*a*b^4*d^5)*g^2*h^2 - 5*(B*b^5*c^2*d^3 - B*a^2*b^3*d^5)*g*h^3 + (B*b^5*c^3*d^2 -
B*a^3*b^2*d^5)*h^4)*n)*x^2 + 12*(5*A*b^5*d^5*g^4 - (10*(B*b^5*c*d^4 - B*a*b^4*d^5)*g^3*h - 10*(B*b^5*c^2*d^3 -
B*a^2*b^3*d^5)*g^2*h^2 + 5*(B*b^5*c^3*d^2 - B*a^3*b^2*d^5)*g*h^3 - (B*b^5*c^4*d - B*a^4*b*d^5)*h^4)*n)*x + 12
*(B*b^5*d^5*h^4*n*x^5 + 5*B*b^5*d^5*g*h^3*n*x^4 + 10*B*b^5*d^5*g^2*h^2*n*x^3 + 10*B*b^5*d^5*g^3*h*n*x^2 + 5*B*
b^5*d^5*g^4*n*x + (5*B*a*b^4*d^5*g^4 - 10*B*a^2*b^3*d^5*g^3*h + 10*B*a^3*b^2*d^5*g^2*h^2 - 5*B*a^4*b*d^5*g*h^3
+ B*a^5*d^5*h^4)*n)*log(b*x + a) - 12*(B*b^5*d^5*h^4*n*x^5 + 5*B*b^5*d^5*g*h^3*n*x^4 + 10*B*b^5*d^5*g^2*h^2*n
*x^3 + 10*B*b^5*d^5*g^3*h*n*x^2 + 5*B*b^5*d^5*g^4*n*x + (5*B*b^5*c*d^4*g^4 - 10*B*b^5*c^2*d^3*g^3*h + 10*B*b^5
*c^3*d^2*g^2*h^2 - 5*B*b^5*c^4*d*g*h^3 + B*b^5*c^5*h^4)*n)*log(d*x + c) + 12*(B*b^5*d^5*h^4*x^5 + 5*B*b^5*d^5*
g*h^3*x^4 + 10*B*b^5*d^5*g^2*h^2*x^3 + 10*B*b^5*d^5*g^3*h*x^2 + 5*B*b^5*d^5*g^4*x)*log(e))/(b^5*d^5)

________________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((h*x+g)**4*(A+B*ln(e*(b*x+a)**n/((d*x+c)**n))),x)

[Out]

Timed out

________________________________________________________________________________________

Giac [F(-1)]  time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((h*x+g)^4*(A+B*log(e*(b*x+a)^n/((d*x+c)^n))),x, algorithm="giac")

[Out]

Timed out